Quan hệ khả hợp Đại số quan hệ

Cho hai lược đồ quan hệ R(A1, A2,..., An) và S(B1, B2,..., Bm) được gọi là khả hợp nếu:
- Chúng có cùng bậc: m = n.
- Miền giá trị (DOM) của các thuộc tính tương ứng bằng nhau: DOM(Ai) = DOM(Bi) với 1 ≤ i ≤ n.